ia64: Fix ACPI header inclusion into libxc.
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 18 Mar 2008 21:05:47 +0000 (21:05 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 18 Mar 2008 21:05:47 +0000 (21:05 +0000)
Signed-off-by: Alex Williamson <alex.williamson@hp.com>
tools/libxc/ia64/dom_fw_acpi.c
tools/libxc/ia64/xc_dom_ia64_util.h

index 09d1281a1502f543b2a82ac6716ac482eff26e4f..cb13a94ea5717c6cff600b71f8bbb638853be53f 100644 (file)
@@ -1,4 +1,5 @@
 #include <inttypes.h>
+#include "xc_dom_ia64_util.h"
 #include <xen/acpi.h>
 
 uint8_t
index 61bfa61830fb4c651a38129a0c4c9b6adf5b8a89..f103d199bb9b7be848bccfe4389e7ee9998dc123 100644 (file)
@@ -23,4 +23,8 @@ extern int shared_info_ia64(struct xc_dom_image *dom, void *ptr);
 #define FW_MEM_BASE 0xff000000UL
 #define FW_MEM_SIZE 0x01000000UL
 
+#ifdef __XEN_TOOLS__
+/* Necessary for including the acpi header chain when not in kernel context */
+typedef struct { } spinlock_t;
+#endif
 #endif /* XC_IA64_DOM_IA64_UTIL_H */